-
1 simple completeness
простая полнота
—
[Л.Г.Суменко. Англо-русский словарь по информационным технологиям. М.: ГП ЦНИИС, 2003.]Тематики
EN
Англо-русский словарь нормативно-технической терминологии > simple completeness
-
2 simple completeness
-
3 simple completeness
Большой англо-русский и русско-английский словарь > simple completeness
-
4 simple completeness
Вычислительная техника: простая полнота -
5 simple completeness
English-Russian dictionary of computer science and programming > simple completeness
-
6 simple completeness
мат. -
7 simple completeness
English-Russian information technology > simple completeness
-
8 completeness
-
9 completeness
English-Russian dictionary of computer science and programming > completeness
-
10 completeness
1. полната; завершенность2. полнота; завершенность3. полнота; законченность; завершенностьСинонимический ряд:entirety (noun) allness; entire; entireness; entireties'; entirety; intactness; integrity; oneness; perfection; totalities'; totality; universality; wholeness -
11 functional completeness
-
12 absolute completeness
-
13 простая полнота
Большой англо-русский и русско-английский словарь > простая полнота
-
14 dead
1. adjective1) tot[as] dead as a doornail/as mutton — mausetot (ugs.)
I wouldn't be seen dead in a place like that — (coll.) keine zehn Pferde würden mich an solch einen Ort bringen (ugs.)
2) tot [Materie]; erloschen [Vulkan, Gefühl, Interesse]; verbraucht, leer [Batterie]; tot [Telefon, Leitung, Saison, Kapital, Ball, Sprache]the phone has gone dead — die Leitung ist tot
3) (expr. completeness) plötzlich [Halt]; völlig [Stillstand]; genau [Mitte]dead silence or quiet — Totenstille, die
dead calm — Flaute, die
dead faint — [totenähnliche] Ohnmacht
4) (benumbed) taub5) (exhausted) erschöpft; kaputt (ugs.)2. adverb1) (completely) völligdead easy or simple/slow — kinderleicht/ganz langsam
‘dead slow’ — "besonders langsam fahren"
dead drunk — stockbetrunken (ugs.)
2) (exactly)dead on target — genau im Ziel
3. noundead on two [o'clock] — Punkt zwei [Uhr]
1)in the dead of winter/night — mitten im Winter/in der Nacht
2) pl. the dead: die Toten Pl.* * *[ded] 1. adjective2) (not working and not giving any sign of being about to work: The phone/engine is dead.) tot2. adverb(completely: dead drunk.) völlig- academic.ru/18635/deaden">deaden- deadly 3. adverb- dead end- dead-end
- dead heat
- dead language
- deadline
- deadlock* * *[ded]I. adjshe's been \dead for three years sie ist [schon] drei Jahre totto be \dead on arrival beim Eintreffen ins Krankenhaus bereits tot sein\dead body Leiche fto drop \dead tot umfallento shoot sb \dead jdn erschießento be shot \dead erschossen werden2. inv (obsolete, not active) custom ausgestorben; feelings erloschen; (gone out) fire erloschen, aus fam; railway line stillgelegtacid rain has become a \dead issue über sauren Regen spricht heute keiner mehrmy cigarette is \dead meine Zigarette ist ausgegangen; (no longer in use)are these tins \dead? brauchst du diese Dosen noch?\dead language tote Sprache\dead volcano erloschener Vulkanmy legs have gone \dead meine Beine sind eingeschlafen\dead performance glanzlose Vorführung\dead capital totes Kapitalto be \dead on one's feet zum Umfallen müde seinand then the phone went \dead und dann war die Leitung totthe phone has gone \dead die Leitung ist totthe line went \dead die Leitung brach zusammenthat remark was a \dead giveaway diese Bemerkung sagte alleswow, \dead centre! hui, genau in die Mitte!to be in a \dead faint in eine tiefe Ohnmacht gefallen sein\dead silence Totenstille fwe sat in \dead silence keiner von uns sagte auch nur ein Wortto come to a \dead stop zum völligen Stillstand kommen▪ to be \dead tief und fest schlafento be \dead to the world fest eingeschlafen [o fam total weg] sein\dead ball toter Ball (Ball, der ohne Bewertung ins Aus geht)14.▶ to be \dead and buried tot und begraben sein▶ to be a \dead ringer for sb ein Doppelgänger von jdm sein, für jdn durchgehen können▶ I wouldn't be seen \dead in that dress so ein Kleid würde ich nie im Leben anziehen▶ I wouldn't be seen \dead in that pub in diese Kneipe [o ÖSTERR dieses Beisl] [o SCHWEIZ diese Beiz] würden mich keine zehn Pferde bringenII. advI'm \dead beat ich bin todmüdeyour analysis is \dead on target deine Analyse trifft genau ins Schwarzeyou're \dead right du hast vollkommen [o absolut] Recht!“\dead slow” „Schritt fahren“\dead certain todsicher fam\dead drunk stockbetrunkento have been \dead lucky Schwein gehabt haben slto be \dead set against sth absolut gegen etw akk seinto be \dead set on sth etw felsenfest vorhaben\dead silent totenstill\dead still regungslos\dead tired todmüdethe town hall is \dead ahead die Stadthalle liegt direkt da vorneto be \dead in the centre genau in der Mitte sein\dead on five o'clock Punkt fünf\dead on target genau im Ziel\dead on time auf die Minute genau3.▶ to stop \dead in one's tracks auf der Stelle stehen bleiben▶ to stop sth \dead in its tracks etw völlig zum Stillstand bringenhis political career was stopped \dead in its tracks seine politische Karriere fand ein jähes Ende▶ \dead straight:are you coming to the party? — \dead straight I am gehst du auf die Party? — darauf kannst du wetten! fam▶ to tell sb sth \dead straight jdm unverblümt die Wahrheit sagenIII. n1. (people)you're making enough noise to wake the \dead! bei dem Lärm kann man ja Tote aufwecken!let the \dead bury the \dead lasst die Toten die Toten begrabento come back from the \dead (come back to life) aus dem Jenseits zurückkommen, von den Toten zurückkehrento show [some] respect for the \dead den Toten Respekt zollen [o erweisen2.to rise from the \dead (recover from an illness) [von den Toten] auferstehen, wieder auferstehen iron; SPORT sich akk fangen3. (right in the middle)in the \dead of night mitten in der Nachtin the \dead of winter im tiefsten Winter* * *[ded]1. adj1) tot; plant abgestorben, tothe has been dead for two years — er ist seit zwei Jahren tot
to shoot sb dead — jdn erschießen or totschießen (inf)
you're dead meat ( if you come back here) (inf) — du bist ein toter Mann(, wenn du noch mal hierhin zurückkommst) (inf)
are these glasses/bottles dead? — können diese Gläser/Flaschen weg?
to be dead and buried, to be dead in the water — tot und begraben sein
See:11) (TYP)2. adv1) (= exactly) genauto be dead on time — auf die Minute pünktlich kommen; (clock) auf die Minute genau gehen
dead drunk — total betrunken, stockvoll (inf)
he was dead lucky — er hat Schwein gehabt (inf), er hat irrsinnig Glück gehabt
"dead slow" — "Schritt fahren"
3)to stop dead — abrupt stehen bleiben or (talking) innehalten
3. n1)2)in the or at dead of night —
* * *dead [ded]1. tot, gestorben:dead and gone tot und begraben (a. fig);be dead to the world umg hinüber sein:a) eingeschlafen seinb) das Bewusstsein verloren habenc) sinnlos betrunken sein;play dead sich tot stellen;a) gehirnamputiert sein pej,b) keinerlei geistige Interessen haben;dead man’s handle BAHN Sicherheitsfahrschaltungstaster m, SIFA-Taster m;wait for a dead man’s shoesa) auf eine Erbschaft warten,b) warten, bis jemand stirbt, damit man in seine Position nachrücken kann;he is dead of pneumonia er ist an Lungenentzündung gestorben;he is a dead man fig er ist ein Kind des Todes, er ist ein toter Mann;2. tot, leblos:dead matter tote Materie ( → A 23)3. totenähnlich, tief (Schlaf):be in a dead faint in tiefer Ohnmacht liegen4. umg restlos fertig, todmüde, zu Tode erschöpft5. unzugänglich, unempfänglich ( beide:to für):be dead to pity keinerlei Mitleid haben6. taub ( to advice gegen Ratschläge)7. gefühllos, abgestorben, erstarrt (Finger etc):go dead (jemandem) einschlafen ( → A 11)to gegen)9. tot, ausgestorben:dead language tote Sprache10. überlebt, veraltet (Sitten etc)11. erloschen (Feuer, Vulkan, Leidenschaft etc):go dead ausgehen (Zigarette etc)( → A 7)12. tot, geistlos13. unfruchtbar, tot, leer, öde (Gegend etc)15. JURa) ungültig (Abmachung etc)b) bürgerlich tot16. langweilig, öd(e) (Party etc)17. tot, nichtssagend, farb-, ausdruckslosdead market flauer Markt19. WIRTSCH tot (auch allg Wissen etc), gewinn-, umsatzlos:dead assets pl unproduktive (Kapital)Anlage;dead capital (stock) totes Kapital (Inventar)20. TECHa) außer Betrieb, tot:dead track totes Gleisb) defekt (Ventil etc):dead engine ausgefallener oder abgestorbener Motorc) leer (Batterie)22. ELEK strom-, spannungslos, tot23. TYPO abgelegt:dead matter Ablegesatz m ( → A 2)dead floor Blend-, Blindboden m;dead window totes Fenster25. Sack… (ohne Ausgang):dead street Sackgasse f26. dumpf, klanglos, tot (Ton)27. matt (Augen, Farben etc):dead gilding matte Vergoldung28. schal, abgestanden (Getränk)29. verwelkt, dürr, abgestorben (Blumen etc)30. (akustisch) tot:31. völlig, absolut, restlos, total:dead certainty absolute Gewissheit;dead silence Totenstille f;dead stop völliger Stillstand;come to a dead stop schlagartig stehen bleiben oder aufhören; → calm A 2, cert, earnest1 B, loss 1, ringer2 432. todsicher umg, unfehlbar (Schütze etc)a dead push ein verzweifelter, aber vergeblicher StoßB s1. stillste Zeit:in the dead of night mitten in der Nacht;the dead of winter der tiefste Winterrise from the dead von den Toten auferstehen;the dead and the living die Lebenden und die TotenC adv1. umg restlos, absolut, völlig, gänzlich, total:the facts are dead against him alles spricht gegen ihn;be dead asleep im tiefsten Schlaf liegen;dead beat umg wie erschlagen, fix und fertig;dead black tiefschwarz;dead drunk sinnlos betrunken;be dead right hundertprozentig recht haben;“dead slow” AUTO „Schritt fahren!“;dead straight schnurgerade;dead tired todmüde2. plötzlich, abrupt:stop dead (in one’s tracks) abrupt stehen bleiben oder aufhören3. genau, direkt:dead against genau gegenüber von (od dat);be dead set on ganz scharf sein auf (akk) umg* * *1. adjective1) tot[as] dead as a doornail/as mutton — mausetot (ugs.)
I wouldn't be seen dead in a place like that — (coll.) keine zehn Pferde würden mich an solch einen Ort bringen (ugs.)
2) tot [Materie]; erloschen [Vulkan, Gefühl, Interesse]; verbraucht, leer [Batterie]; tot [Telefon, Leitung, Saison, Kapital, Ball, Sprache]3) (expr. completeness) plötzlich [Halt]; völlig [Stillstand]; genau [Mitte]dead silence or quiet — Totenstille, die
dead calm — Flaute, die
dead faint — [totenähnliche] Ohnmacht
4) (benumbed) taub5) (exhausted) erschöpft; kaputt (ugs.)2. adverb1) (completely) völligdead easy or simple/slow — kinderleicht/ganz langsam
‘dead slow’ — "besonders langsam fahren"
dead drunk — stockbetrunken (ugs.)
2) (exactly)3. noundead on two [o'clock] — Punkt zwei [Uhr]
1)in the dead of winter/night — mitten im Winter/in der Nacht
2) pl. the dead: die Toten Pl.* * *adj.abgestorben adj.außer Betrieb ausdr.stromlos adj.tot adj.öd adj. -
15 property
1) свойствоАнгло-русский словарь по компьютерной безопасности > property
-
16 relation
1) зависимость, (взаимо)связь2) отношение; соотношение4) геол. условия залегания•- almost universal relation - cause-effect relation - generalized semigroup relation - logically irreducible relation - parametrically definable relation - partial ordering relation - recursively enumerable relation - recursively invariant relation - recursively representable relation - strongly definable relation - weakly symmetric relation -
17 Lartigue, Charles François Marie-Thérèse
[br]b. 1834 Toulouse, France d. 1907[br]French engineer and businessman, inventor of the Lartigue monorail.[br]Lartigue worked as a civil engineer in Algeria and while there invented a simple monorail for industrial or agricultural use. It comprised a single rail carried on trestles; vehicles comprised a single wheel with two tubs suspended either side, like panniers. These were pushed or pulled by hand or, occasionally, hauled by mule. Such lines were used in Algerian esparto-grass plantations.In 1882 he patented a monorail system based on this arrangement, with important improvements: traction was to be mechanical; vehicles were to have two or four wheels and to be able to be coupled together; and the trestles were to have, on each side, a light guide rail upon which horizontal rollers beneath the vehicles would bear. Early in 1883 the Lartigue Railway Construction Company was formed in London and two experimental prototype monorails were subsequently demonstrated in public. One, at the Paris Agricultural Exhibition, had an electric locomotive that was built in two parts, one either side of the rail to maintain balance, hauling small wagons. The other prototype, in London, had a small, steam locomotive with two vertical boilers and was designed by Anatole Mallet. By now Lartigue had become associated with F.B. Behr. Behr was Managing Director of the construction company and of the Listowel \& Ballybunion Railway Company, which obtained an Act of Parliament in 1886 to built a Lartigue monorail railway in the South West of Ireland between those two places. Its further development and successful operation are described in the article on Behr in this volume.A much less successful attempt to establish a Lartigue monorail railway took place in France, in the départment of Loire. In 1888 the council of the département agreed to a proposal put forward by Lartigue for a 10 1/2 mile (17 km) long monorail between the towns of Feurs and Panissières: the agreement was reached on the casting vote of the Chairman, a contact of Lartigue. A concession was granted to successive companies with which Lartigue was closely involved, but construction of the line was attended by muddle, delay and perhaps fraud, although it was completed sufficiently for trial trains to operate. The locomotive had two horizontal boilers, one either side of the track. But the inspectors of the department found deficiencies in the completeness and probable safety of the railway; when they did eventually agree to opening on a limited scale, the company claimed to have insufficient funds to do so unless monies owed by the department were paid. In the end the concession was forfeited and the line dismantled. More successful was an electrically operated Lartigue mineral line built at mines in the eastern Pyrenees.It appears to have reused equipment from the electric demonstration line, with modifications, and included gradients as steep as 1 in 12. There was no generating station: descending trains generated the electricity to power ascending ones. This line is said to have operated for at least two years.[br]Bibliography1882, French patent no. 149,301 (monorail system). 1882, British patent no. 2,764 (monorail system).Further ReadingD.G.Tucker, 1984, "F.B.Behr's development of the Lartigue monorail", Transactions of the Newcomen Society 55 (describes Lartigue and his work).P.H.Chauffort and J.-L.Largier, 1981, "Le monorail de Feurs à Panissières", Chemin defer régionaux et urbains (magazine of the Fédération des Amis des Chemins de FerSecondaires) 164 (in French; describes Lartigue and his work).PJGRBiographical history of technology > Lartigue, Charles François Marie-Thérèse
См. также в других словарях:
Completeness (order theory) — In the mathematical area of order theory, completeness properties assert the existence of certain infima or suprema of a given partially ordered set (poset). A special use of the term refers to complete partial orders or complete lattices.… … Wikipedia
Turing completeness — For the usage of this term in the theory of relative computability by oracle machines, see Turing reduction. In computability theory, a system of data manipulation rules (such as an instruction set, a programming language, or a cellular… … Wikipedia
Original proof of Gödel's completeness theorem — The proof of Gödel s completeness theorem given by Kurt Gödel in his doctoral dissertation of 1929 (and a rewritten version of the dissertation, published as an article in 1930) is not easy to read today; it uses concepts and formalism that are… … Wikipedia
Functional completeness — In logic, a functionally complete set of logical connectives or Boolean operators is one which can be used to express all possible truth tables by combining members of the set into a Boolean expression.[1][2] A well known complete set of… … Wikipedia
простая полнота — — [Л.Г.Суменко. Англо русский словарь по информационным технологиям. М.: ГП ЦНИИС, 2003.] Тематики информационные технологии в целом EN simple completeness … Справочник технического переводчика
metalogic — /met euh loj ik/, n. the logical analysis of the fundamental concepts of logic. [1835 45; META + LOGIC] * * * Study of the syntax and the semantics of formal languages and formal systems. It is related to, but does not include, the formal… … Universalium
Hilbert space — For the Hilbert space filling curve, see Hilbert curve. Hilbert spaces can be used to study the harmonics of vibrating strings. The mathematical concept of a Hilbert space, named after David Hilbert, generalizes the notion of Euclidean space. It… … Wikipedia
Propositional calculus — In mathematical logic, a propositional calculus or logic (also called sentential calculus or sentential logic) is a formal system in which formulas of a formal language may be interpreted as representing propositions. A system of inference rules… … Wikipedia
analysis — /euh nal euh sis/, n., pl. analyses / seez /. 1. the separating of any material or abstract entity into its constituent elements (opposed to synthesis). 2. this process as a method of studying the nature of something or of determining its… … Universalium
Natural deduction — In logic and proof theory, natural deduction is a kind of proof calculus in which logical reasoning is expressed by inference rules closely related to the natural way of reasoning. This contrasts with the axiomatic systems which instead use… … Wikipedia
logic, history of — Introduction the history of the discipline from its origins among the ancient Greeks to the present time. Origins of logic in the West Precursors of ancient logic There was a medieval tradition according to which the Greek philosopher … Universalium